;; Block A is on the table, block B on A and there is nothing on B.  A
;; water bucket, a brush, a A blue sprayer and a red paint can are on
;; the table and clear.  The goal is to for A to be colored ref and B
;; blue and the brush be clean. 

(define (problem 2)
  (:domain hw6)
  (:objects blockA blockB brush can sprayer waterbucket)
  
  (:init (arm-empty)
        (on-table blockA) 
		(on blockB blockA) (clear blockB)
	 	(on-table can) (paint can red) (clear can)
		(on-table brush) (clean brush) (clear brush)
		(color sprayer blue)(on-table sprayer) (clear sprayer) 
		(on-table waterbucket) (clear waterbucket))
  
  (:goal (and (arm-empty)
              (color blockA red)
             (color blockB blue)
              (clean brush))))





